Redundant Sudoku rules

Redundant Sudoku rules

The rules of Sudoku are often specified using twenty seven all different constraints, referred to as the big constraints. Using graphical proofs and exploratory logic programming, the following main and new result is obtained: many subsets of six of these big constraints are redundant (i.e., they are entailed by the remaining twenty one constraints), and six is maximal (i.e., removing more than...

Two Sudoku Rules in Conjunctive Normal Form

Solving Sudoku Puzzles with Rewriting Rules

The aim of the sudoku puzzle (also known as number place in the United States) is to enter a numeral from 1 through 9 in each cell of a grid, most frequently a 9× 9 grid made up of 3× 3 subgrids, starting with various numerals given in some of the cells (the “givens”). Each row, column, and region must contain only one instance of each numeral. In this paper we show how a sudoku puzzle can be s...

Discovering Non-Redundant Association Rules using MinMax Approximation Rules

Dept. Of Comp. Sci. & Eng. Vaagdevi college of Eng. Warangal, India [email protected] Abstract Frequent pattern mining is an important area of data mining used to generate the Association Rules. The extracted Frequent Patterns quality is a big concern, as it generates huge sets of rules and many of them are redundant. Mining Non-Redundant Frequent patterns is a big concern in the area of Ass...

Non-redundant sequential rules - Theory and algorithm

A sequential rule expresses a relationship between two series of events happening one after another. Sequential rules are potentially useful for analyzing data in sequential redundant set of sequential rules built upon past work on compact set of representative patterns. A rule is redundant if it can be inferred from another rule having the same support and confidence. When using the set of min...